Skip to content

Conversation

matthiaskrgr
Copy link
Member

changelog: none

@phansch
Copy link
Contributor

phansch commented Apr 11, 2020

@bors r+
thanks!

@bors
Copy link
Contributor

bors commented Apr 11, 2020

📌 Commit f7bdead has been approved by phansch

@bors
Copy link
Contributor

bors commented Apr 11, 2020

⌛ Testing commit f7bdead with merge 458f5b6...

bors added a commit that referenced this pull request Apr 11, 2020
@bors
Copy link
Contributor

bors commented Apr 11, 2020

💔 Test failed - checks-action_test

@matthiaskrgr
Copy link
Member Author

More tweaks needed due to rust-lang/rust#70986, working on it...

@phansch
Copy link
Contributor

phansch commented Apr 11, 2020

@bors r+

@bors
Copy link
Contributor

bors commented Apr 11, 2020

📌 Commit 4352c85 has been approved by phansch

@bors
Copy link
Contributor

bors commented Apr 11, 2020

⌛ Testing commit 4352c85 with merge 97aa8dc...

@bors
Copy link
Contributor

bors commented Apr 11, 2020

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: phansch
Pushing 97aa8dc to master...

@bors bors merged commit 97aa8dc into rust-lang:master Apr 11, 2020
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants